Heuristic Search and Concept Formation

Theory Formation by Heuristic Search

Ahwhine h'arning can be categorized along many dimcnsiotts, an important one o/ ~hich is "degree of human guidance or forethought'. Thi~ cotztintaon stretches from rote learning, through carefully-g,ided concept-fon~ation by obsert'ation, ot~t toward independent theory formation. Six)'ears ago. the ,~',t program was constructed as an experiment in this latter kind of leanffng by discot'ery, hs ...

On Case Base Formation in Real-Time Heuristic Search

Real-time heuristic search algorithms obey a constant limit on planning time per move. Agents using these algorithms can execute each move as it is computed, suggesting a strong potential for application to real-time video-game AI. Recently, a breakthrough in real-time heuristic search performance was achieved through the use of case-based reasoning. In this framework, the agent optimally solve...

Concept Formation 1 Concept Formation

Heuristic Search vs. Exhaustive Search

A theorem proving system embodying a systematic search procedure is de sen bed. Al though the search spaces are usually infinite, and not even locally finite, the asymmetric way in which thev are generated results in a speed that is es 11ma-ted to be one to two orders of magnitude faster than the theorem provers of Quinlan and Hunt, and Chang and the problem-solver of Kikes, to whi c h this sys...

Genetic Algorithms and Heuristic Search

Genetic algorithms GAs and heuristic search are shown to be structurally similar The strength of the correspondence and its prac tical consequences are demonstrated by considering the relationship between tness functions in GAs and the heuristic functions of AI By examining the extent to which tness functions approximate an AI ideal a measure of GA search di culty is de ned and applied to previ...